Enny de Bruijn, Eerst de waarheid, dan de vrede. Jacob Revius 1586-1658
نویسندگان
چکیده
منابع مشابه
De zwaargewonden eerst? Het Nederlandsche Roode Kruis en het vraagstuk van oorlog in vrede 1867–1945
emotional and intellectual rationales for the movement. At the same time he explores in meticulous detail the complicated practical politics involved. The heart of the story lies in the irony of the movement's survival, the success of the philanthropic effort to "civilize war" being met only through accommodation to, and then generous assistance of, the militaristic interests of individual nati...
متن کاملDe Bruijn Graph Homomorphisms and Recursive De Bruijn Sequences
This paper presents a method to find new de Bruijn cycles based on ones of lesser order. This is done by mapping a de Bruijn cycle to several vertex disjoint cycles in a de Bruijn digraph of higher order and connecting these cycles into one full cycle. We characterize homomorphisms between de Bruijn digraphs of different orders that allow this construction. These maps generalize the well-known ...
متن کاملDe Bruijn Sequences Revisited
A (non-circular) de Bruijn sequence w of order n is a word such that every word of length n appears exactly once in w as a factor. In this paper, we generalize the concept to different settings: the multi-shift de Bruijn sequence and the pseudo de Bruijn sequence. An m-shift de Bruijn sequence of order n is a word such that every word of length n appears exactly once in w as a factor that start...
متن کاملGeneralized de Bruijn Cycles
For a set of integers I, we define a q-ary I-cycle to be an assignment of the symbols 1 through q to the integers modulo qn so that every word appears on some translate of I. This definition generalizes that of de Bruijn cycles, and opens up a multitude of questions. We address the existence of such cycles, discuss “reduced” cycles (ones in which the all-zeroes string need not appear), and prov...
متن کاملThe De Bruijn Factor
We study de Bruijn’s ‘loss factor’ between the size of an ordinary mathematical exposition and its full formal translation inside a computer. This factor is determined by a combination of the amount of detail present in the original text and the expressivity of the system used to do the formalization. For three specific examples this factor turns out to be approximately equal to four.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BMGN - Low Countries Historical Review
سال: 2013
ISSN: 2211-2898,0165-0505
DOI: 10.18352/bmgn-lchr.8451